up previous next

CompleteToOrd [OBSOLESCENT]

[OBSOLESCENT] renamed MakeTermOrd

Syntax

[OBSOLESCENT]

Description

Renamed MakeTermOrd .